تقریری معناشناختی از صدق جمله های علوم قیاسی با تأکید بر آراء تارسکی

نویسندگان

مهدی بهنیافر

علی اکبر احمدی افرمجانی

چکیده

نظریه ی « صدق »مطرح شده از سوی آلفرد تارسکی، نظری های است مبتنی بر مفهوم کلاسیکمطابقت که با تکیه بر دانش معناشناسی شکل گرفته است و همین محمل معناشناختی است کهپروژه ی صدق نگاری تارسکی را نسبت به سایر تلا شهای صدق پژوهانه ی پیش از او متمایز ساختهاست « علوم قیاسی » ، است. از طرفی یکی دیگر از مهمترین مواضعی که تارسکی به آن پرداخته استکه شامل دستگاه هایی است که بر اساس اصول موضوع، مفاهیم اولیه و همین طور قواعد تبدیلمشخصی شکل م یگیرند. در این مقاله بر پایه ی دو سویه ی اصلی مندرج در عنوان آن، یعنینظریه ی صدق تارسکی و همی نطور تقریر او از علوم قیاسی، ابتدا به این مطلب م یپردازیم که اساساًآیا می توان پرسش از صدق جملات دستگاه های علمی قیاسی مانند ریاضیات و منطق را پرسشیمعنادار و قابل طرح به حساب آورد یا خیر؟ سپس ضمن طرح پاسخی مثبت برای این پرسش ازدرون اندیشه های معناشناسان هی تارسکی، راه هایی را برای دستیابی به تعریفی از صدق جملات علومو نظریه های قیاسی خواهیم آزمود که یکی از مهمترین آنها که در حقیقت رویکرد مختار این مقاله« مدل » و در دل آن، مفهوم « نتیجه ی منطقی » هم هست، مبتنی بر تعریف خود تارسکی از مفهوماست و لذا با رویکرد معناشناختی او هم موافقت دارد. این تقریر پیشنهادی و فراگیر ما در مقابلتقریر برهان محور و نحوشناسانه ای قرار دارد که هم مخالف مواضع معناشناسانه ی تارسکی است، هماینکه الزاماً تمام قضایای شکل گرفته در دستگاه های قیاسی را شامل نمی شود. در پایان هم ضمنبرشمردن ویژگی های مثبت تعریف پیشنهادی خود برای صدق جملات علوم قیاسی، برخی ازنقدهای مقدّر و در عین حال غیر بنیادی وارد بر آن را برم یشماریم.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

صدق در فلسفه علم پوپر و مفهوم سمانتیکی صدق تارسکی

مفهوم صدق در فلسفه‌ی علم پوپر از جایگاه ویژه‌ای برخوردار است و این موقعیت منحصر به فرد، به ویژه وامدار آشنایی وی با آلفرد تارسکی و مفهوم سمانتیکی صدق وی است. برداشت پوپر از مفهوم سمانتیکی صدق تارسکی را که منطبق با نظریه‌ی تطابقی صدق است حداقل از سه منظر متفاوت می‌توان نقد کرد. نقد اول، نقد نظریه‌ی تطابقی صدق است فارغ از این که مدافع آن پوپر یا هر فیلسوف دیگری باشد. موضوع نقد دوم اما، برداشت پوپ...

متن کامل

فضای مجازی رخنه‌ای در تئوری صدق تارسکی

بررسی صدق جملات فضای مجازی، دارای اهمیت ویژه‌ای است. برای بسیاری، فضای مجازی یکی از مهم‌ترین ابزارهای حصول اطلاعات است. این امر به علت گستردگی دامنة اطلاعات و در دسترس بودن آن است. با همة مزایا، اگر شیوه و روشی برای سنجش صحت اطلاعات در فضای مجازی نباشد، این اطلاعات کارایی لازم را نخواهند داشت و قابل اطمینان نخواهند بود. با توجه به ویژگی در دسترس بودن و سهل ‌الوصول...

متن کامل

مباحثی در تعریف ناپذیری صدق تارسکی

قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 196...

15 صفحه اول

صدق نظریه‌های علمی به چه معناست؟

نزد رئالیست‌ها هدف علم، جست‏وجوی نظریه‌هایی است که توصیف- تقریباً- صادقی از جهان پیرامون ما ارائه کنند. اما صحبت از صدق نظریه‌های علمی، همواره با دشواری‌هایی روبه‎روست. در مقالۀ حاضر با یاری آموزه‌های منتج از نظریۀ صدق تارسکی توضیح می‌دهیم به چه معنا می‌توان از صدق نظریه‌های علمی و نسبت آنها با واقعیت سخن گفت. پیشنهاد مقاله این است که نظریۀ معناشناختی تارسکی دربارۀ...

متن کامل

مقایسه تأثیر وضعیت طاق باز و دمر بر وضعیت تنفسی نوزادان نارس مبتلا به سندرم دیسترس تنفسی حاد تحت درمان با پروتکل Insure

کچ ی هد پ ی ش مز ی هن ه و فد : ساسا د مردنس رد نامرد ي سفنت سرتس ي ظنت نادازون داح ي سکا لدابت م ي و نژ د ي سکا ي د هدوب نبرک تسا طسوت هک کبس اـه ي ناـمرد ي فلتخم ي هلمجزا لکتورپ INSURE ماجنا م ي دوش ا اذل . ي هعلاطم ن فدهاب اقم ي هس عضو ي ت اه ي ندب ي عضو رب رمد و زاب قاط ي سفنت ت ي هـب لاتـبم سراـن نادازون ردنس د م ي سفنت سرتس ي لکتورپ اب نامرد تحت داح INSURE ماجنا درگ ...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید


عنوان ژورنال:
جستارهای فلسفی

ISSN 2008-0433

دوره 5

شماره شماره 1 (پیاپی 13) 2008

کلمات کلیدی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023